int boo() { return 0; }
